0b7aae7d9c9a12cfdeeb02306144ea43d57aa053,modules/wyc/src/wyc/builder/CodeGenerator.java,CodeGenerator,generate,#Expr.Quantifier#Environment#CodeForest.Block#CodeForest#Context#,1991

In pattern: SUPERPATTERN

Frequency: 4

Non-data size: 5


Instances


1460800889
david.pearce@ecs.vuw.ac.nz
Whiley/WhileyCompiler,0b7aae7d9c9a12cfdeeb02306144ea43d57aa053,modules/wyc/src/wyc/builder/CodeGenerator.java,CodeGenerator,generate,#Expr.Quantifier#Environment#CodeForest.Block#CodeForest#Context#,1991


1460800889
david.pearce@ecs.vuw.ac.nz
Whiley/WhileyCompiler,0b7aae7d9c9a12cfdeeb02306144ea43d57aa053,modules/wyc/src/wyc/builder/CodeGenerator.java,CodeGenerator,generate,#Expr.Quantifier#Environment#CodeForest.Block#CodeForest#Context#,1991


1460800889
david.pearce@ecs.vuw.ac.nz
Whiley/WhileyCompiler,0b7aae7d9c9a12cfdeeb02306144ea43d57aa053,modules/wyc/src/wyc/builder/CodeGenerator.java,CodeGenerator,generate,#Expr.BinOp#Environment#CodeForest.Block#CodeForest#Context#,1945


1460800889
david.pearce@ecs.vuw.ac.nz
Whiley/WhileyCompiler,0b7aae7d9c9a12cfdeeb02306144ea43d57aa053,modules/wyc/src/wyc/builder/CodeGenerator.java,CodeGenerator,generate,#Expr.BinOp#Environment#CodeForest.Block#CodeForest#Context#,1945


1460800889
david.pearce@ecs.vuw.ac.nz
Whiley/WhileyCompiler,0b7aae7d9c9a12cfdeeb02306144ea43d57aa053,modules/wyc/src/wyc/builder/CodeGenerator.java,CodeGenerator,generate,#Expr.Quantifier#Environment#CodeForest.Block#CodeForest#Context#,1991


1460800889
david.pearce@ecs.vuw.ac.nz
Whiley/WhileyCompiler,0b7aae7d9c9a12cfdeeb02306144ea43d57aa053,modules/wyc/src/wyc/builder/CodeGenerator.java,CodeGenerator,generate,#Expr.BinOp#Environment#CodeForest.Block#CodeForest#Context#,1945


1460800889
david.pearce@ecs.vuw.ac.nz
Whiley/WhileyCompiler,0b7aae7d9c9a12cfdeeb02306144ea43d57aa053,modules/wyc/src/wyc/builder/CodeGenerator.java,CodeGenerator,generate,#Expr.Quantifier#Environment#CodeForest.Block#CodeForest#Context#,1991


1460800889
david.pearce@ecs.vuw.ac.nz
Whiley/WhileyCompiler,0b7aae7d9c9a12cfdeeb02306144ea43d57aa053,modules/wyc/src/wyc/builder/CodeGenerator.java,CodeGenerator,generate,#Expr.BinOp#Environment#CodeForest.Block#CodeForest#Context#,1945